signature CFGIZE_STRUCTS =
sig
  structure Ir : IR
  structure Cfg : CFG
  sharing Ir.Atoms = Cfg.Atoms
  sharing Ir.Types = Cfg.Types
end

signature CFGIZE =
sig
  include CFGIZE_STRUCTS
  
  val trans : Ir.Program.t -> Cfg.Program.t
end
